Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
Search history
[
x
]
×
Log in to your account
Login:
Password:
Forgot your password?
Refine your search
Availability
Limit to currently available items.
Authors
Mendelson, Elliott
Nievergelt, Yves
Wolf, Robert S.
Item types
Books
Series
Discrete mathematics...
Topics
Axiomatic set theory
Computer science -- ...
Logic, Symbolic and ...
Number theory
Set theory
Show more
Your query retrived 3 records.
|
Unhighlight
Highlight
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
1.
Proof, logic, and conjecture : the mathematician's toolbox
by
Wolf, Robert S.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
New York: W. H. Freeman, 1997
Availability:
Items available for loan:
[
Call number:
511.3 WOL] (1).
Place hold
2.
Foundations of logic and mathematics: Applications to computer science and cryptography
by
Nievergelt, Yves.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Boston: Birkhauser, 2002
Availability:
Items available for loan:
[
Call number:
511.3 NIE] (1).
Place hold
3.
Introduction to mathematical logic
by
Mendelson, Elliott.
Edition:
5th ed.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Boca Raton: CRC Press, 2010
Availability:
Items available for loan:
[
Call number:
511.3 MEN] (1).
Place hold
Powered by
Koha